T. G. Taylor

A Markov model for measuring service levels in nonstationary G(t)/G(t)/s(t) +G(t) queues

We present a Markov model to approximate the queueing behavior at the G(t)/G(t)/s(t) + G(t) queue with exhaustive discipline and abandonments. The performance measures of interest are: (1) the average number of customers in queue, (2) the variance of the number of customers in queue, (3) the average number of abandonments and (4) the virtual waiting time distribution of a customer when arriving...

G T R

We study the notion of a stub equality for a congruence generated by a ground term rewrite system (GTRS). We study the congruence generated by the union of GTRSs R and S , where the congruences generated by R and S intersect with respect to their stubs. We show that for any equivalent reduced GTRSs R and S , the same number of terms appear as subterms in R as in S . We give an upper bound on th...

G E H T

I, G T   U

1 In the Beginning the Numbers Over the number of years, Conway [1, 2] has presented a fruitful theory to link numbers (number theory) and combinatorial games. This theory is useful in analyzing and to some extent predicting the outcome of games. Combinatorial games require the basic assumption that all moves are visible to both of the players and chance (dice) does not play any role. Thus, a g...

T F S C M T  G T  F

In this paper, we extend our ideas on model transformations as functors discussed in the previous issue and embed this concept into the framework of graph transformation systems. We show that under certain restrictions of the rules model transformations by graph transformation are functors.